var clover = new Object();

// JSON: {classes : [{name, id, sl, el,  methods : [{sl, el}, ...]}, ...]}
clover.pageData = {"classes":[{"el":60,"id":1342,"methods":[{"el":42,"sc":3,"sl":40},{"el":53,"sc":3,"sl":44},{"el":58,"sc":3,"sl":55}],"name":"CasJaasConfiguration","sl":27}]}

// JSON: {test_ID : {"methods": [ID1, ID2, ID3...], "name" : "testXXX() void"}, ...};
clover.testTargets = {"test_152":{"methods":[{"sl":44}],"name":"logout","pass":true,"statements":[{"sl":47},{"sl":48},{"sl":50}]},"test_64":{"methods":[{"sl":44}],"name":"login","pass":true,"statements":[{"sl":47},{"sl":48},{"sl":50}]},"test_7":{"methods":[{"sl":44}],"name":"service","pass":true,"statements":[{"sl":47},{"sl":48},{"sl":50}]}}

// JSON: { lines : [{tests : [testid1, testid2, testid3, ...]}, ...]};
clover.srcFileLines = [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [7, 64, 152], [], [], [7, 64, 152], [7, 64, 152], [], [7, 64, 152], [], [], [], [], [], [], [], [], [], []]
